1121. Theory of computation
پدیدآورنده : Natarajan, A.M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
N35
2003
1122. Theory of computation
پدیدآورنده : Wood, Derick
موضوع : ، Computational complexity,، Machine theory,، Computer science-- Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1123. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
1124. Theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
1125. Theory of computation
پدیدآورنده : / A.M. Natarajan, A. Tamilarasi, P. Balasubramani
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computational complexity,Computer science--Mathematics
رده :
511
N273t
1126. Theory of computation : with 75 illustrations
پدیدآورنده : Kozen, Dexter
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
1127. Theory of fuzzy computation
پدیدآورنده : / Apostolos Syropoulos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fuzzy logic,Computer science, Mathematics
رده :
E-BOOK
1128. Theory of fuzzy computation
پدیدآورنده : Syropoulos, Apostolos,Apostolos Syropoulos
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Fuzzy logic,Mathematics ، Computer science,، Computer science -- Mathematics,، Fuzzy logic,، Number theory
رده :
QA9
.
64
1129. Topics in discrete mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Mathematics -- Congresses,Computer science -- Mathematics -- Congresses
رده :
QA
،
3
،.
M6
،
1997
1130. Topics in discrete mathematics
پدیدآورنده : Martin Klazar ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Neeseteril, Jaroslav,Mathematics,Computer science- Mathematics,Graph theory
رده :
QA
39
.
3
.
T67
2006
1131. Topics in discrete mathematics: codes, tableaux, and graphs: Proceedings of all India Winter School in Dsiscrete Mathematics, University of Pune, Pune 411007 )9-23 November, 1989(
پدیدآورنده : editors; N.M. Singh ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematics - Congresses , Computer science - Mathematics - Congresses
رده :
QA
1
.
T66
1997
1132. Topics in discrete mathematics : dedicated to Jarik Nesetril on the occasion of his 60th birthday
پدیدآورنده : Martin Klazar...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Computer science -- Mathematics,، Graph theory
رده :
QA
39
.
2
.
T66D4
1133. Topics in the theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
1134. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
1135. Topology and category theory in computer science
پدیدآورنده : edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
رده :
QA
76
.
9
.
M35T66
1991
1136. <2000=Tow Thousand> solved problems in discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Mathematics- Problems, exercises, etc,Computer science- Mathematics- Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
1137. Traces and Emergence of Nonlinear Programmin
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Mathematics,Computational Science and Engineering,History of Mathematical Sciences
رده :
E-BOOK
1138. Transactions on Petri Nets and Other Models of Concurrency X
پدیدآورنده : \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکههای پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,علوم کامپیوتر
رده :
QA267
.
T71
2015
E-Book
,
1139. <2000=Two thousand> solved problems in discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Mathematics Problems, exercises, etc,Computer science -- Mathematics Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
1140. Uncertainty Quantification
پدیدآورنده : \ Christian Soize
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics,Probabilities,Applied mathematics,علوم کامپیوتر -- ریاضیات,احتمالات
رده :
E-Book
,